Use packaged intersphinx indexes
authorDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Sun, 13 Nov 2022 10:36:51 +0000 (10:36 +0000)
committerGraham Inggs <ginggs@debian.org>
Sun, 13 Nov 2022 10:36:51 +0000 (10:36 +0000)
commit333174bb7be825c49aa2391b7e0449b1e3a68abe
tree23714fc5a1c8e7863f1b853139e00b85bcaef513
parentf7edb91ff09693d9f658792d0837a7943f5f3ffd
Use packaged intersphinx indexes

Author: Rebecca N. Palmer <rebecca_palmer@zoho.com>
Bug-Debian: https://bugs.debian.org/876417
Forwarded: not-needed

Gbp-Pq: Name use_system_intersphinx.patch
doc/source/conf.py